منابع مشابه
Physics Simulation Games
Building Artificial Intelligence (AI) that can successfully interact with the physical world in a comprehensive and human-like way is a big challenge. Physics simulation games, i.e., video games where the game world simulates real-world physics, offer a simplified and controlled environment for developing J. Renz (*) • X. Ge Artificial Intelligence Group, Research School of Computer Science, Th...
متن کاملQuantitative Simulation Games
While a boolean notion of correctness is given by a preorder on systems and properties, a quantitative notion of correctness is defined by a distance function on systems and properties, where the distance between a system and a property provides a measure of “fit” or “desirability.” In this article, we explore several ways how the simulation preorder can be generalized to a distance function. T...
متن کاملTwo-Buffer Simulation Games
We consider simulation games played between Spoiler and Duplicator on two Büchi automata in which the choices made by Spoiler can be buffered by Duplicator in two different buffers before she executes them on her structure. Previous work on such games using a single buffer has shown that they are useful to approximate language inclusion problems. We study the decidability and complexity and sho...
متن کاملLatticed Simulation Relations and Games
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed Kripke structures, in which the elements in the set are partially ordered, are useful in abstraction, query checking, and reasoning about multiple view-points. The challenges that formal methods involve in the Boolea...
متن کاملSerious Games & Simulation for Risks Management
This article proposes a definition of the object “Serious Game” and an approach dedicated to classify its various occurrences.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2014
ISSN: 2075-2180
DOI: 10.4204/eptcs.146.0.1